Optimal. Leaf size=321 \[ -\frac {b^2 F_1\left (\frac {1}{2};\frac {1}{2} (-1+n),2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right ) \cos (e+f x) (d \csc (e+f x))^{2+n} \sin ^3(e+f x) \sin ^2(e+f x)^{\frac {1}{2} (-1+n)}}{\left (a^2-b^2\right )^2 d^2 f}-\frac {a^2 F_1\left (\frac {1}{2};\frac {1+n}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right ) \cos (e+f x) (d \csc (e+f x))^{2+n} \sin (e+f x) \sin ^2(e+f x)^{\frac {1+n}{2}}}{\left (a^2-b^2\right )^2 d^2 f}+\frac {2 a b F_1\left (\frac {1}{2};\frac {n}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right ) \cos (e+f x) (d \csc (e+f x))^{2+n} \sin ^2(e+f x)^{\frac {2+n}{2}}}{\left (a^2-b^2\right )^2 d^2 f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.37, antiderivative size = 321, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 5, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.217, Rules used = {3317, 3954,
2903, 3268, 440} \begin {gather*} -\frac {a^2 \sin (e+f x) \cos (e+f x) \sin ^2(e+f x)^{\frac {n+1}{2}} (d \csc (e+f x))^{n+2} F_1\left (\frac {1}{2};\frac {n+1}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right )}{d^2 f \left (a^2-b^2\right )^2}+\frac {2 a b \cos (e+f x) \sin ^2(e+f x)^{\frac {n+2}{2}} (d \csc (e+f x))^{n+2} F_1\left (\frac {1}{2};\frac {n}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right )}{d^2 f \left (a^2-b^2\right )^2}-\frac {b^2 \sin ^3(e+f x) \cos (e+f x) \sin ^2(e+f x)^{\frac {n-1}{2}} (d \csc (e+f x))^{n+2} F_1\left (\frac {1}{2};\frac {n-1}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right )}{d^2 f \left (a^2-b^2\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 440
Rule 2903
Rule 3268
Rule 3317
Rule 3954
Rubi steps
\begin {align*} \int \frac {(d \csc (e+f x))^n}{(a+b \sin (e+f x))^2} \, dx &=\frac {\int \frac {(d \csc (e+f x))^{2+n}}{(b+a \csc (e+f x))^2} \, dx}{d^2}\\ &=\frac {\left ((d \csc (e+f x))^{2+n} \sin ^{2+n}(e+f x)\right ) \int \frac {\sin ^{-n}(e+f x)}{(a+b \sin (e+f x))^2} \, dx}{d^2}\\ &=\frac {\left ((d \csc (e+f x))^{2+n} \sin ^{2+n}(e+f x)\right ) \int \left (-\frac {2 a b \sin ^{1-n}(e+f x)}{\left (a^2-b^2 \sin ^2(e+f x)\right )^2}+\frac {a^2 \sin ^{-n}(e+f x)}{\left (a^2-b^2 \sin ^2(e+f x)\right )^2}+\frac {b^2 \sin ^{2-n}(e+f x)}{\left (-a^2+b^2 \sin ^2(e+f x)\right )^2}\right ) \, dx}{d^2}\\ &=\frac {\left (a^2 (d \csc (e+f x))^{2+n} \sin ^{2+n}(e+f x)\right ) \int \frac {\sin ^{-n}(e+f x)}{\left (a^2-b^2 \sin ^2(e+f x)\right )^2} \, dx}{d^2}-\frac {\left (2 a b (d \csc (e+f x))^{2+n} \sin ^{2+n}(e+f x)\right ) \int \frac {\sin ^{1-n}(e+f x)}{\left (a^2-b^2 \sin ^2(e+f x)\right )^2} \, dx}{d^2}+\frac {\left (b^2 (d \csc (e+f x))^{2+n} \sin ^{2+n}(e+f x)\right ) \int \frac {\sin ^{2-n}(e+f x)}{\left (-a^2+b^2 \sin ^2(e+f x)\right )^2} \, dx}{d^2}\\ &=-\frac {\left (b^2 (d \csc (e+f x))^{2+n} \sin ^{2+2 \left (\frac {1}{2}-\frac {n}{2}\right )+n}(e+f x) \sin ^2(e+f x)^{-\frac {1}{2}+\frac {n}{2}}\right ) \text {Subst}\left (\int \frac {\left (1-x^2\right )^{\frac {1-n}{2}}}{\left (-a^2+b^2-b^2 x^2\right )^2} \, dx,x,\cos (e+f x)\right )}{d^2 f}-\frac {\left (a^2 (d \csc (e+f x))^{2+n} \sin ^{2+2 \left (-\frac {1}{2}-\frac {n}{2}\right )+n}(e+f x) \sin ^2(e+f x)^{\frac {1}{2}+\frac {n}{2}}\right ) \text {Subst}\left (\int \frac {\left (1-x^2\right )^{\frac {1}{2} (-1-n)}}{\left (a^2-b^2+b^2 x^2\right )^2} \, dx,x,\cos (e+f x)\right )}{d^2 f}+\frac {\left (2 a b (d \csc (e+f x))^{2+n} \sin ^2(e+f x)^{1+\frac {n}{2}}\right ) \text {Subst}\left (\int \frac {\left (1-x^2\right )^{-n/2}}{\left (a^2-b^2+b^2 x^2\right )^2} \, dx,x,\cos (e+f x)\right )}{d^2 f}\\ &=-\frac {b^2 F_1\left (\frac {1}{2};\frac {1}{2} (-1+n),2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right ) \cos (e+f x) (d \csc (e+f x))^{2+n} \sin ^3(e+f x) \sin ^2(e+f x)^{\frac {1}{2} (-1+n)}}{\left (a^2-b^2\right )^2 d^2 f}-\frac {a^2 F_1\left (\frac {1}{2};\frac {1+n}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right ) \cos (e+f x) (d \csc (e+f x))^{2+n} \sin (e+f x) \sin ^2(e+f x)^{\frac {1+n}{2}}}{\left (a^2-b^2\right )^2 d^2 f}+\frac {2 a b F_1\left (\frac {1}{2};\frac {n}{2},2;\frac {3}{2};\cos ^2(e+f x),-\frac {b^2 \cos ^2(e+f x)}{a^2-b^2}\right ) \cos (e+f x) (d \csc (e+f x))^{2+n} \sin ^2(e+f x)^{\frac {2+n}{2}}}{\left (a^2-b^2\right )^2 d^2 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(1872\) vs. \(2(321)=642\).
time = 16.42, size = 1872, normalized size = 5.83 \begin {gather*} \frac {(d \csc (e+f x))^n \sec ^2(e+f x)^{-n/2} \left (\cot (e+f x) \sqrt {\sec ^2(e+f x)}\right )^n \tan (e+f x) \left (-a \left (a^2+b^2\right ) (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},1;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+2 b \left (a b (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},2;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+\left (a^2-b^2\right ) (-1+n) F_1\left (1-\frac {n}{2};\frac {1}{2} (-1-n),2;2-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \tan (e+f x)\right )\right )}{a^3 \left (a^2-b^2\right ) f (-2+n) (-1+n) (a+b \sin (e+f x))^2 \left (\frac {\sec ^2(e+f x)^{1-\frac {n}{2}} \left (\cot (e+f x) \sqrt {\sec ^2(e+f x)}\right )^n \left (-a \left (a^2+b^2\right ) (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},1;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+2 b \left (a b (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},2;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+\left (a^2-b^2\right ) (-1+n) F_1\left (1-\frac {n}{2};\frac {1}{2} (-1-n),2;2-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \tan (e+f x)\right )\right )}{a^3 \left (a^2-b^2\right ) (-2+n) (-1+n)}+\frac {n \sec ^2(e+f x)^{-n/2} \left (\cot (e+f x) \sqrt {\sec ^2(e+f x)}\right )^{-1+n} \left (\sqrt {\sec ^2(e+f x)}-\csc ^2(e+f x) \sqrt {\sec ^2(e+f x)}\right ) \tan (e+f x) \left (-a \left (a^2+b^2\right ) (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},1;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+2 b \left (a b (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},2;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+\left (a^2-b^2\right ) (-1+n) F_1\left (1-\frac {n}{2};\frac {1}{2} (-1-n),2;2-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \tan (e+f x)\right )\right )}{a^3 \left (a^2-b^2\right ) (-2+n) (-1+n)}-\frac {n \sec ^2(e+f x)^{-n/2} \left (\cot (e+f x) \sqrt {\sec ^2(e+f x)}\right )^n \tan ^2(e+f x) \left (-a \left (a^2+b^2\right ) (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},1;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+2 b \left (a b (-2+n) F_1\left (\frac {1-n}{2};-\frac {n}{2},2;\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right )+\left (a^2-b^2\right ) (-1+n) F_1\left (1-\frac {n}{2};\frac {1}{2} (-1-n),2;2-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \tan (e+f x)\right )\right )}{a^3 \left (a^2-b^2\right ) (-2+n) (-1+n)}+\frac {\sec ^2(e+f x)^{-n/2} \left (\cot (e+f x) \sqrt {\sec ^2(e+f x)}\right )^n \tan (e+f x) \left (-a \left (a^2+b^2\right ) (-2+n) \left (\frac {(1-n) n F_1\left (1+\frac {1-n}{2};1-\frac {n}{2},1;1+\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x) \tan (e+f x)}{3-n}+\frac {2 \left (-1+\frac {b^2}{a^2}\right ) (1-n) F_1\left (1+\frac {1-n}{2};-\frac {n}{2},2;1+\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x) \tan (e+f x)}{3-n}\right )+2 b \left (\left (a^2-b^2\right ) (-1+n) F_1\left (1-\frac {n}{2};\frac {1}{2} (-1-n),2;2-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x)+a b (-2+n) \left (\frac {(1-n) n F_1\left (1+\frac {1-n}{2};1-\frac {n}{2},2;1+\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x) \tan (e+f x)}{3-n}+\frac {4 \left (-1+\frac {b^2}{a^2}\right ) (1-n) F_1\left (1+\frac {1-n}{2};-\frac {n}{2},3;1+\frac {3-n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x) \tan (e+f x)}{3-n}\right )+\left (a^2-b^2\right ) (-1+n) \tan (e+f x) \left (-\frac {(-1-n) \left (1-\frac {n}{2}\right ) F_1\left (2-\frac {n}{2};1+\frac {1}{2} (-1-n),2;3-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x) \tan (e+f x)}{2-\frac {n}{2}}+\frac {4 \left (-1+\frac {b^2}{a^2}\right ) \left (1-\frac {n}{2}\right ) F_1\left (2-\frac {n}{2};\frac {1}{2} (-1-n),3;3-\frac {n}{2};-\tan ^2(e+f x),\left (-1+\frac {b^2}{a^2}\right ) \tan ^2(e+f x)\right ) \sec ^2(e+f x) \tan (e+f x)}{2-\frac {n}{2}}\right )\right )\right )}{a^3 \left (a^2-b^2\right ) (-2+n) (-1+n)}\right )} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.51, size = 0, normalized size = 0.00 \[\int \frac {\left (d \csc \left (f x +e \right )\right )^{n}}{\left (a +b \sin \left (f x +e \right )\right )^{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (d \csc {\left (e + f x \right )}\right )^{n}}{\left (a + b \sin {\left (e + f x \right )}\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (\frac {d}{\sin \left (e+f\,x\right )}\right )}^n}{{\left (a+b\,\sin \left (e+f\,x\right )\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________